2)) absurd-resolution